CS5236 – Advanced Automata Theory

Advanced Automata Theory is a lecture which will first review the basics of formal languages and automata theory and then give insight into specific topics from the theory of automata theory. In computer science, automata are an important tool for many theoretical results and various types of automata have been used to characterise complexity classes. The lecture will give a deeper understanding of automata theory, describe the Chomsky hierarchy and introduce to various advanced topics like automatic structures, automata on infinite words, automata on trees and the learnability of classes of regular languages from queries and from positive data.